Belief Revision and Update: Complexity of Model Checking
نویسندگان
چکیده
منابع مشابه
The Complexity of Model Checking for Belief Revision and Update
One of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T , representing our knowledge of the “state of affairs” of the world of interest, it is possible that we are lead to trust another piece of informa...
متن کاملBelief Revision and Update: Complexity of Model Checking
One of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T , representing our knowledge of the “state of affairs” of the world of interest, it is possible that we are lead to trust another piece of informa...
متن کاملHandling Inconsistencies in CTL Model-Checking using Belief Revision
Given a formal description of a system, there are computational tools that verify the validity of some properties in the system. These tools usually only tell the user whether the property holds or not, without giving any hint as to how the system could be adapted in order for the desired property to hold. In this paper, we present a formal approach for handling inconsistencies in CTL (computat...
متن کاملThe Complexity of Belief Update
Belief revision and belief update are two different forms of belief change, and they serve different purposes. In this paper we focus on belief update, the formalization of change in beliefs due to changes in the world. The complexity of the basic update (introduced by Winslett [1990]) has been determined in [Eiter and Gottlob, 1992]. Since then, many other formalizations have been proposed to ...
متن کاملOn the Parameterized Complexity of Belief Revision
Parameterized complexity is a well recognized vehicle for understanding the multitude of complexity AI problems typically exhibit. However, the prominent problem of belief revision has not undergone a systematic investigation in this direction yet. This is somewhat surprising, since by its very nature of involving a knowledge base and a revision formula, this problem provides a perfect playgrou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2001
ISSN: 0022-0000
DOI: 10.1006/jcss.2000.1698